机译:通过自动程序推导和转换为稀疏数据结构的数值算法的抽象功能规范进行定制
机译:使用解算器辅助变换推导分而治之动态规划算法
机译:使用求解器辅助转换派生分割和征服动态编程算法
机译:在可编程处理器上实现多媒体算法时,用于数据传输和存储的系统方法论,用于优化代码转换以降低功耗和减少执行时间
机译:APE:来自数据类型和算法的抽象规范的自动编程专家系统
机译:通过中间规范语言FunZ从Z规范派生纯功能程序的形式化方法。
机译:大树基于似然性的系统发生演算法的算法数据结构和数值
机译:将数字算法的抽象规范自动转换为有效的阵列处理器实现